mini-os: Do not use the same wait element twice
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 6 Apr 2010 06:12:39 +0000 (07:12 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 6 Apr 2010 06:12:39 +0000 (07:12 +0100)
commitd98d3c520857f706fb83cdb9d398b7b8b1733141
tree8bc5ef285d9ed461bfc63018575bbb8ffc89af9b
parent38c433d0c711406778aba1ae183a195da98656f0
mini-os: Do not use the same wait element twice

To enqueue the kbdfront thread on two separate wait queues, we need
two different wait elements.

Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
extras/mini-os/kernel.c